Compression, information theory, and grammars: a unified approach
نویسندگان
چکیده
منابع مشابه
Compression, Information Theory and Grammars: a Uniied Approach
Text compression is of considerable theoretical and practical interest. It is, for example, becoming increasingly important for satisfying the requirements of tting a large database onto a single CD-ROM. Many of the compression techniques discussed in the literature are model based. We here propose the notion of a formal grammar as a exible model of text generation that encompasses most of the ...
متن کاملCompression Information Theory and Grammars A Uni ed Approach
Text compression is of considerable theoretical and practical interest It is for example becoming increasingly important for satisfying the requirements of tting a large database onto a single CD ROM Many of the compression techniques discussed in the literature are model based We here propose the notion of a formal grammar as a exible model of text generation that encompasses most of the model...
متن کاملEmergent information. Towards a unified information theory.
This paper proposes the restoration of information theory by means of a philosophy of evolutionary systems. What this philosophy implies for the conception of information may be called a multi-stage model, comprising both the history and the ordering of information processing by real-world systems. Such a unifying information concept may assist suitable research in the coming field of informati...
متن کاملA unified approach to source and message compression
In this work we consider source and message compression in various network communication scenarios and present a unified approach to arrive at communication bounds. We present our communication bounds in the oneshot setting which imply optimal bounds for these tasks in the asymptotic i.i.d setting. As applications of our results we reproduce several known results in network communication theory...
متن کاملA Unified Approach to Theory Reasoning
Theory reasoning is a kind of two-level reasoning in automated theorem proving, where the knowledge of a given domain or theory is separated and treated by special purpose inference rules. We define a classification for the various approaches for theory reasoning which is based on the syntactic concepts of literal level — term level — variable level. The main part is a review of theory extensio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Information Systems
سال: 1990
ISSN: 1046-8188,1558-2868
DOI: 10.1145/78915.78917